The paradox of idealization

A well-known proof by Alonzo Church, first published in 1963 by Frederic Fitch, purports to show that all truths are knowable only if all truths are known. This is the Paradox of Knowability. If we take it, quite plausibly, that we are not omniscient, the proof appears to undermine metaphysical doctrines committed to the knowability of truth, such as semantic antirealism. Since its rediscovery by Hart and McGinn (1976), many solutions to the paradox have been offered. In this article, we present a new proof to the effect that not all truths are knowable, which rests on different assumptions from those of the original argument published by Fitch. We highlight the general form of the knowability paradoxes, and argue that anti-realists who favour either an hierarchical or an intuitionistic approach to the Paradox of Knowability are confronted with a dilemma: they must either give up anti-realism or opt for a highly controversial interpretation of the principle that every truth is knowable

Ecumenical modal logic

The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connectives from these logics can co-exist in peace. In Prawitz' system, the classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation, and the constant for the absurd, but they would each have their own existential quantifier, disjunction, and implication, with different meanings. Prawitz' main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. In a recent work, Ecumenical sequent calculi and a nested system were presented, and some very interesting proof theoretical properties of the systems were established. In this work we extend Prawitz' Ecumenical idea to alethic K-modalities

Dialetheism in Action: A New Strategy for Solving the Equal Validity Paradox

This paper starts from the Equal Validity Paradox, a paradoxical argument connected to the so-called phenomenon of faultless disagreement. It is argued that there are at least six strategies for solving the paradox. After presenting the first five strategies and their main problems, the paper focuses on the sixth strategy which rejects the assumption that every proposition cannot be both true a false. Dialetheism is the natural candidate for developing strategy six. After presenting strategy six in detail, we formulate a normative problem for the dialetheist and offer a tentative solution to it. We then elaborate further considerations connecting strategy six to pluralism about truth and logic. Even if strategy six is a hard path to take, its scrutiny highlights some important points on truth, logic and the norms for acceptance and rejection

Intracardiac left atrial tuberculoma in an eleven-month-old infant: case report

<p>Abstract</p> <p>Background</p> <p>Cardiac tuberculosis is rare and usually manifests as tuberculous pericarditis. Involvement of other part of the heart is unusual and descriptions in the pediatric literature are confined to few case reports regarding mainly myocardial tuberculosis.</p> <p>Case presentation</p> <p>We describe a case of pulmonary miliary tuberculosis associated with intracardiac left atrial tuberculoma in an immunocompetent eleven-month-old infant successfully treated with surgery and antituberculous therapy.</p> <p>Conclusion</p> <p>Although unusual, involvement of endocardium in disseminated tuberculosis should be kept in mind.</p

Hypoinsulinemia Regulates Amphetamine-Induced Reverse Transport of Dopamine

The behavioral effects of psychomotor stimulants such as amphetamine (AMPH) arise from their ability to elicit increases in extracellular dopamine (DA). These AMPH-induced increases are achieved by DA transporter (DAT)-mediated transmitter efflux. Recently, we have shown that AMPH self-administration is reduced in rats that have been depleted of insulin with the diabetogenic agent streptozotocin (STZ). In vitro studies suggest that hypoinsulinemia may regulate the actions of AMPH by inhibiting the insulin downstream effectors phosphotidylinositol 3-kinase (PI3K) and protein kinase B (PKB, or Akt), which we have previously shown are able to fine-tune DAT cell-surface expression. Here, we demonstrate that striatal Akt function, as well as DAT cell-surface expression, are significantly reduced by STZ. In addition, our data show that the release of DA, determined by high-speed chronoamperometry (HSCA) in the striatum, in response to AMPH, is severely impaired in these insulin-deficient rats. Importantly, selective inhibition of PI3K with LY294002 within the striatum results in a profound reduction in the subsequent potential for AMPH to evoke DA efflux. Consistent with our biochemical and in vivo electrochemical data, findings from functional magnetic resonance imaging experiments reveal that the ability of AMPH to elicit positive blood oxygen level–dependent signal changes in the striatum is significantly blunted in STZ-treated rats. Finally, local infusion of insulin into the striatum of STZ-treated animals significantly recovers the ability of AMPH to stimulate DA release as measured by high-speed chronoamperometry. The present studies establish that PI3K signaling regulates the neurochemical actions of AMPH-like psychomotor stimulants. These data suggest that insulin signaling pathways may represent a novel mechanism for regulating DA transmission, one which may be targeted for the treatment of AMPH abuse and potentially other dopaminergic disorders